i::=:::
t>::=000t
t<::=001t
t+::=010t
t-::=011t
t.::=100t
t,::=101t
t[::=110t
t]::=111t
t|::=-|
(0-::=(r
(1-::=(r
11-::=10r
01-::=00r
0-::=-1
(-::=(r
r0::=0r
r1::=1r
0r|::=0-|0
1r|::=1-|0
(r|::=(|0
(|0::=(|p0
p0::=~0
::=
(1ti|)
